---

automatic program verification system

英 [ˌɔːtəˈmætɪk ˈprəʊɡræm ˌvɛrɪfɪˈkeɪʃən ˈsɪstəm] 美 [ˌɔːtəˈmætɪk ˈproʊɡræm ˌvɛrəfəˈkeɪʃən ˈsɪstəm]

网络  自动程序验证系统

计算机

---

---